/*****************************************************************************/
/*                                                                           */
/*    Domino Operation System Driver Module                                  */
/*                                                                           */
/*    Copyright (C) 2008 Laszlo Arvai                                        */
/*                                                                           */
/*    ------------------------------------------------------------------     */
/*    drvHighResTimer - High Resolution Timer Driver                         */
/*****************************************************************************/

#ifndef __krnlHighResTimer_H
#define __krnlHighResTimer_H

///////////////////////////////////////////////////////////////////////////////
// Includes
#include <krnlTypes.h>

///////////////////////////////////////////////////////////////////////////////
// Function prototypes
void drvInitHighResTimer(void);
void krnlHighResDelay(unsigned int in_sleep_us);

#endif
